Function model - PDFSEARCH.IO - Document Search Engine

Function model
Results: 1865

#	Item
311	THE EFFICIENT SYMBOLIC TOOLS PACKAGE Robert Meolic, Tatjana Kapus, Zmago Brezoˇcnik Faculty of Electrical Engineering and Computer Science University of Maribor Smetanova ul. 17, SI-2000 Maribor, Slovenia E-mail: fmeoli Add to Reading List Source URL: research.meolic.com Language: English - Date: 2013-12-04 04:28:45 Systems engineering Theoretical computer science Diagrams Formal methods Binary decision diagram Model checking Formal verification Boolean function Verification Boolean algebra Mathematics Mathematical logic
312	Which simple types have a unique inhabitant? Gabriel Scherer Didier R´emy INRIA Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2015-03-03 05:16:01 Proof theory Lambda calculus Type theory Logic in computer science Model theory Natural deduction System F Function Sequent calculus Mathematical logic Logic Mathematics
313	Towards Automatic Verification of Embedded Control Software Nanette Bauer University of Dortmund, Department of Chemical Engineering Emil-Figge-Str. 70, DDortmund, Germany Ral Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2014-09-25 06:02:19 Theoretical computer science Industrial automation Sequential function chart Formal methods Concurrency Logic in computer science Petri net IEC 61131-3 Actor model Technology Computing Models of computation
314	Using Genetic Programming to Perform Time-Series Forecasting of Stock Prices Anthony Hui Computer Science Department Stanford University Stanford, California 94305 Add to Reading List Source URL: www.genetic-programming.org Language: English - Date: 2006-11-17 21:29:10 Evolutionary biology Mathematical optimization Cross-validation Model selection Stack Fitness function Fitness Selection Evolution Statistics Genetic algorithms Evolutionary algorithms
315	Journal of Computing and Information Science in Engineering Add to Reading List Source URL: iel.ucdavis.edu Language: English - Date: 2005-10-30 01:51:50 Business Reliability engineering Supply chain Ch Systems engineering process Control theory Function model Object-oriented design OpenGL Software Systems engineering Technology
316	Logic and the Methodology of Science Autumn 2002 Preliminary Exam Draft August 23, Let ϕe be the eth partial recursive function in some standard enumeration, and let We be the domain of ϕe ). Show that there is Add to Reading List Source URL: logic.berkeley.edu Language: English - Date: 2014-08-24 16:43:20 Theory of computation Theoretical computer science Metalogic Model theory Recursively enumerable set Constructible universe Presentation of a group Ordinal number Ω-consistent theory Mathematics Mathematical logic Computability theory
317	The Annals of Statistics 2003, Vol. 31, No. 4, 1110–1139 © Institute of Mathematical Statistics, 2003 LARGE SAMPLE THEORY FOR SEMIPARAMETRIC REGRESSION MODELS WITH TWO-PHASE, OUTCOME Add to Reading List Source URL: www.stat.washington.edu Language: English - Date: 2005-03-10 06:02:03 M-estimators Statistical models Maximum likelihood Fisher information Parametric model Sinc function Statistics Estimation theory Statistical theory
318	A multidimensial mixture model for unsupervised tail estimation Note no Add to Reading List Source URL: sfi.nr.no Language: English - Date: 2012-09-19 01:20:58 Statistical models Probability theory Estimation theory M-estimators Normal distribution Maximum likelihood Cumulative distribution function Pareto distribution Mixture model Statistics Probability and statistics Probability
319	Stat 565 Fitting ARMA Models JanCharlotte Wickham Saturday, February 1, 14 Add to Reading List Source URL: stat565.cwick.co.nz Language: English - Date: 2014-02-01 13:25:54 Noise Autoregressive integrated moving average Time series Partial autocorrelation function Moving-average model Arma Autocorrelation Seasonality Statistics Time series analysis Covariance and correlation
320	APPLIED AND ENVIRONMENTAL MICROBIOLOGY, May 2001, p. 2129–/$04.00⫹0 DOI: AEM–Copyright © 2001, American Society for Microbiology. All Rights Reserved. Vol. 67, No. 5 Add to Reading List Source URL: foodsci.rutgers.edu Language: English - Date: 2001-04-25 07:55:18 Logistic regression Logistic function Generalized linear model Statistical model Simple linear regression Binomial regression Predictive analytics Statistics Regression analysis Linear regression

UPDATE